User system BDD