A ticket-booking system