Webster’s dictionary defines a mile as …