xReduce
Rule
xReduceLHS
Equation
xReduceRHS
Rule
xReducibleLHS
Rule
xRewriteLHS
Equation
xRewriteRHS
Rule