如果人类不能在我有生之年登陆火星,我将会非常失望。
Software is under a constant tension. Being symbolic it is arbitrarily perfectible; but also it is arbitrarily changeable.