Related:

• When we understand knowledge-based systems, it will be as before -- except our fingertips will have been singed.
  -- Epigrams in Programming, ACM SIGPLAN Sept. 1982...
• When we understand knowledge-based systems, it will be as before -- except our finger-tips will have been singed.
• We are on the verge: Today our program proved Fermat's next-to-last theorem.
  -- Epigrams in Programming, ACM SIGPLAN Sept. 1982...
• We are on the verge: Today our program proved Fermat's next-to-last theorem.
  -- Epigrams in Programming, ACM SIGPLAN Sept. 1982...
• Systems have sub-systems and sub-systems have sub-systems and so on ad infinitum -- which is why we're always starting over.
  -- Epigrams in Programming, ACM SIGPLAN Sept. 1982...