Young mathematicians solve arithmetic and simple algebraic equations using properties of real numbers, equality, and inequality. Justifying the procedures is their next task. They solve a problem involving linear inequality and justify their method.