Hi Julie. I checked this out in one of our publications (Labeled Statements and Formal Proofs). This is itemized material with no subdivisions so the margins will be 1/3. The identifier begins in cell 1. "Given" is a new paragraph so it starts in cell 5 with runovers in cell 3. A new paragraph is also begun for the auxiliary caption "Prove" (5/3).