thus <i> in QUATERNION by Lm3, XBOOLE_0:def 3; :: according to QUATERNI:def 2 :: thesis: verum