A first attempt at BDD