Input (grade 11): Initially, many mathematicians did not accept this form of proof, but it has become more widely accepted in recent years.
Output (grade 10): At first, many mathematicians did not accept this form of proof, but it has become more widely accepted in recent years.