Resources in verifications