Architects reviewing proofs at whiteboard