They found that the glazed stare was accompanied by objectively measurable changes in automatic, reflexive eye behaviour that could not be imitated by non-hypnotised participants.

It is reflexive: for any non-null reference value x, x.equals (x) should return true.

Since optimum logic does not give a strict definition of concept 'optimum', it USES a non-reflexive, asymmetric and transitive relation as its optimum relation.