Situation: I solved a logical problem.