adding totally incomplete BDD class just so it's stashed somewhere