Answer: smullyan

AnswerCrossword Clue
SMULLYANRaymond whose proof is adapted here