I think o3-pro is just o3-very-high. And for my taste it is a bit too high.