Twisdale Proofs