20180521 auto.miscellaneous: Learning with The Times: Why petrol price has hit a record high