Bogdan Proofs