Input (grade 4): The diagonals of a square are equal.
Output (grade 6): The diagonals of a square also cross at right angles.