MathAhead Rules and Procedures