Made grounding smaller for some eqn and factor rules.