BF-ChoicesBF-Proofs