A high jumper can jump high.