Leslie Lamport의 핵심은 추상적 사고 능력을 개발하는 것이 더 나은 프로그램으로 이어진다는 것임. 수학적 및 논리적 의미에서의 추상화는 모든 관련 없는 세부 사항을 제거할 수 있게 해줌. AI가 안내하는 소프트웨어 개발도 마찬가지임