Example for the BDD presentation