John Boyd 1940-2001