watch for pairs of imaginaries that control Mul sign
use more suggestive symbol name in test