在计算机科学中,抽象是管理复杂性的关键。
I think therefore I am has been discarded; we should say, I feel therefore I am.