Alternate Segment Proof Hints