BCT-proof-x10