Definition:Logical Equality