modification bdd