Example 18: "Let It End," formal analysis.