Set up for BDD