Sir, - Were Roger Bannister to run a mile in 3.594 minutes (see Irish Times "all time records", March 22nd), he would have crossed the line in a time of three minutes 35.64 seconds. Is this a new record? - Yours, etc.,
St Cronins Road
Bray,
Co Wicklow.