Working on translation of BDD idea