equivalence

note that we do not use '==' for this to avoid confusion since
a == b == c for booleans might not behave as expected
('true <=> false <=> false' evaluates to 'true')