added additional properties of Leq