variable? uses variableTerm? now. Somehow it's much faster.
Efficiency improvements.