EndGame and BDD