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