I wonder why a "pathological liar" (according to certain baboons) would make reasonable statements regarding validity of proof.