這是計算機科學中最美麗的洞察。