It’s also not ideal to try setting a high jump record right after the Olympics in Mexico City. So what.