JOHN ARBUTHNOT, MATHEMATICIAN AND SATIRIST