I'm not sure how bdd helps with that