Proof 0.0.0.1.
Left as an exercise to the grader.
this should override heading.
i dont want a lot for christmas
all i want for christmas is this proof
Proof 0.0.0.2.
}