Title: Box of Matches Proof