Automatticians hanging out at True’s office, with Domas, and grabbing dinner.