First attempt at BDD