import scas.base.{, , }
import .given
import .given
import .{sqrt, conjugate, magnitude2, given}

assert ((1-1)/(1-1) >< -1)
assert (conjugate(-1) >< -1)
assert (magnitude2(-1) >< 1)