modify BDD