Now such an argument is not hard to follow; and if it is granted that its premises are true in fact, no one will deny that the conclusion must also be true. But it depends for its truth upon an instance of a general logical principle. The logical principle is as follows: “Suppose it known that if this is true, then that is true. Suppose it also known that this is true, then it follows that that is true.” When it is the case that if this is true, that is true, we shall say that this “implies” that, and that that “follows from” this. Thus our principle states that if this implies that, and this is true, then that is true. In other words, “anything implied by a true proposition is true,” or “whatever follows from a true proposition is true.”