Petra's natural talent is so pure; I really wish she had developed into a consistent rival for Serena in the 2010's, it would have been incredible. But also, there's no point to the would've, could've, should've with Petra, because she just is who she is. Being able to beat anyone on any day? Not everybody has that! Not Iga!
I don't want to look too far ahead, but she does have a good track record in Stuttgart and Madrid, so this may not be the last we hear from her this season. Another major seems unlikely, but maybe this will be a jolt of motivation to keep going for even bigger things.