impl bdd