Input (grade 11): Pierre de Fermat makes a notation, in a document margin, claiming to have proof of what would become known as Fermat's last theorem.
Output (grade 8): Pierre de Fermat makes a marginal claim to have proof of what would become known as Fermats last theorem.