A discussion of the semantic status of the proposition. Amongst other problems, Z. discusses the distinction between non-analytic and analytic phrases. He considers analytic phrases as presupposing themselves, so that they don't assert anything, don't have the property of always being true, are never false, but don't make sense; therefore, they are usually used metaphorically.