Proofs With Parallel Lines