FIRST ORDER LOGIC 75