Adding definition of BDD