Module eq
If condition == 1, then enforces that self and other are equal; otherwise, it doesn’t enforce anything.
condition == 1
self
other