Proof menu tabs (1)