So doing better when expected to do better is the same as
failing to progress? I don't think you can quantify a players lack of progress based on that players improved performance against weaker competition. Now if he played exactly the same or slightly worse you would have an argument.