Modification bdd