First Order Logic

Except for the properties defined / overridden here, I don't think there is any other reason.