Notes at end of Formula.mgu method with what to do next.