import scas.base.Boolean
import Boolean.given

assert ( ^  >< )