ready for bdd