Beth Proofs - updated