Proof menu tabs (2)