Proofs and Prompts – Notes from the common room