modification BDD