3.1.1 Axiom System of BATC