But what OP is saying, and what I agree with, is that I don't think Katie Ledecky put in small levels of effort consistently over time.