verification with variables