Cracking Open Some Proof Sets