|entries|modeltheory-fo|