watch for pairs of imaginaries that control Mul sign
use more suggestive symbol name in test
watch for sign change from I in sign()
simplify sign code, watch for recursion