Add Dana Scott, demote Dijkstra, add de Bruijn