whiteboard photos of proofs that our f is the best possible one