Day 4 - Proof Sets