Set up BDD