Explicit Rule and Term Calculation