What is a ticket?