PLaying with BDD