is cool
Generalize constant terms to [A : Equal]