Implemented a very first version of score management with BDD