Input (grade 7): Ultimately, Faust goes to heaven, for he loses only half of the bet.
Output (grade 5): In the end Faust goes to heaven, because he loses only half the bet.