Wilkins, David, 1685-1745