A Formal Affair-BATB