> prove correctness They would have to know induction which appears in 9th(?) grade algebra. Efficiency analysis would likely be super difficult even to high

> prove correctness They would have to know induction which appears in 9th(?) grade algebra. Efficiency analysis would likely be super difficult even to high school students.