Practice Typing

Now such an argument is not hard to follow; and if it is granted that its premisses 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.