<snicker>. Though your statement does feel a bit like dereferencing a NULL-pointer, as in GetAllElevenYearOldsAtWizardingSchool()->doesReadTheoreticalCompSciPapers() should blow up...
(Well, at least in the world of bare-metal C, any sane language will of course return an empty collection, and not a NULL pointer to the first function....)
You're missing Eliezer's little joke. In classical logic, usually any predicate is True of a non-existent entity.
There are no 11 year olds who attend wizarding school, hence it is True that all such creatures read CS preprints. (Like it is True that unicorns have one horn.)
I was also joking in that in Eliezer's fictional work he writes prolifically about 11 year olds who attend wizarding school and there is precisely one who reads them.
