Day 8 - parallel line proofs