Bombasta Proofs