Input (grade 11): Until recently, the most famous conjecture was Fermat's Last Theorem.
Output (grade 11): Until recently, the most famous conjecture was the badly named Fermats last theorem.