Dijkstra told Lamport late in his career that he had 'a remarkable ability at abstraction,' which Lamport only recently (after winning the Turing Award) realized was the core reason for his success—not raw intelligence, but exceptional abstraction ability.