 Moreover, Church pointed out that those who are willing to accept these limitations must, at the very best, face an excessively complicated theory of syntax and semantics (one that, for example, would have to be formulated without the notion of an infinite sequence):