Complete 1st BDD