Implements reportEvaluateWrongs/4