>

Architects reviewing proofs at whiteboard