deep in BDD