Strict BDD