John Holland, David