hole01
drinker
easySmullyan's drinker paradox: in every pub there is someone such that, if they are drinking, everyone is drinking. The excluded middle is your friend here.
Smullyan's drinker paradox: in every pub there is someone such that, if they are drinking, everyone is drinking. The excluded middle is your friend here.