Segment Proofs