Document the BDD interface