Dice Game Done with specs