این نمونه‌ای از منطق اجباری است، که توسط دانشمند بزرگ منطق و سازنده معما ریموند اسمولیان اختراع شده است. 
This is an example of coercive logic, invented by the great logician and puzzle creator Raymond Smullyan. 