Whiston, William,1667-1752,trans.