Proof 0.0.150.

Left as an exercise to the grader.

this should override heading.
Proof 0.0.300.

} i dont want a lot for christmas

all i want for christmas is this proof

this should still have puncutation.