An exploration of BDD