I'm not sure about people doing a four minute mile. It used to be a world record!