more work on BDD