() -> ()

0 = (1*one) * (0*one) - (0*one) # this constraint always fails