Starting over with BDD