 Church (1956b) also considered rejecting the first line of argument and insisting that truth and falsehood do attach only to actual particular thoughts or sentences. In that case, he argued, we would be limited to those things that we could actually think or say in a reasonable amount of time. In which case, there would no longer be a distinction between statements that are unproved because of human limitations and those that are unprovable as a matter of mathematical necessity.