bdd removed: we will use buddy