Specification for task 1b: mastermind