checkpoints for the is_ticket() function