11_Direct_independence_proofs_(BAPLaCT)