World records by two milers and amateurish "ultra" runners. Issue 2 (3rd April 2019)