Frege–Church_ontology loading ...