 Church suggested that the reader translate (2) and (3) into German making sure that, among other things, “that the world is round” as it occurs in (2) is translated as “dass die welt rund ist”, whereas “the world is round” as it occurs in (3) is translated as “the world is round”. The difference is that the sentence “the world is round” is mentioned in (3), whereas it is used in (2); moreover, (3) does not mention the German sentence “die welt rund ist”, only the English sentence “the world is round” and so a proper translation of (2)—one that preserves meaning (and not merely “the main point”)—will mention the latter not the former. So, the translations are: