For your possible amusement, I have written down the thing about the ticket system elsewhere: