Elementary logical transformations lead from it to the derivability relations which we have asserted, and which may be expressed by the following rule: If of two statements both their universality and their precision are comparable, then the less universal or less precise is derivable from the more universal or more precise; unless, of course, the one is more universal and the other more precise (as in the case of and in my diagram).