Formulas and rulers in primary mathemathics (500)