watch for pairs of imaginaries that control Mul sign