Proof 0.0.0.1.

Left as an exercise to the grader.

this should override heading.

this should override heading.

i dont want a lot for christmas

all i want for christmas is this proof

Proof 0.0.0.2.

}