Input (grade 12): In 1974, he lost the Candidates final to Karpov, who was declared world champion in 1975 when Bobby Fischer failed to defend his title.
Output (grade 9): Karpov was declared world champion in 1975 when Bobby Fischer failed to defend his title.