Balcerak proofs