Situation: I solved a specification problem.