Title
G: #givens
Given 1
Given 2
etc.
P:
proof statement
Pr: #start of proof
statement 1 => reason 1
etc.