The BDD playground.