Input (grade 5): Every positive number x has two square roots.
Output (grade 4): Every complex number except 0 has 2 square roots.