Updated the BDD presentation