Proofs and Line Segments