Now since the first is contained in the second, and this second is the truth of the first, this unity of the two can be expressed in the form of a proposition in which the immediate is placed as the subject but the mediated as its predicate; for example, 'the finite is infinite,' 'one is many,' 'the singular is the universal.'