Section A.
Section B.
Section C.
Remark t : True. Proof I.
End C.
Locate t.