AleMan appears in the following leaderboards:

• Crimbo pants