Check treatment

Matter of Smullyan