In the special case of 'two and two are four', even when we interpret it as meaning 'any collection formed of two twos is a collection of four', it is plain that we can understand the proposition, ie we can see what it is that it asserts, as soon as we know what is meant by 'collection' and 'two' and 'four'.