<% tp.file.title %>

Statement

Assumptions

Proof Sketch

Full Proof

Notes / Intuition