Registration with BDD