BDD_AND added, not test yet