So I Tried to Prove it