Logic.implies, Logic.equiv
Logic.exactlyOne