Added first order logic notation