Human rationality involves the ability to establish meaningful conclusions. The very fact that we can question the implications or the meaning of a conclusion (even if we do not know its meaning, as in the case of the modifus above) indicates that human rationality involves meaningful insights. Computer programmes do not have these meaningful insights. In actual fact, a computer system is based on syntactical rules (the manipulation of symbols), not on semantics (meaning).