UP: updated BDD