https://www.psybertron.org/archives/1230
OWL(FA) Breaks Russell's Paradox ?