BDD aliases