Adjusted BDD description