 Church argued that (1) and (5), which seem totally unrelated in meaning, must denote the same thing, namely, their truth value (since that is all they have in common). The only additional assumptions Church works with are the following two: