english: This is an example of coercive logic, invented by the great logician  and puzzle creator Raymond Smullyan.
non_english: Dit is een voorbeeld van dwanglogica, uitgevonden door de grote logicus en puzzelmaker Raymond Smullyan.