Let and be two statements written in this 'normal' form; then we can say that is of greater universality than if the antecedent statement function of (which may be denoted by 'φpx') is tautologically implied by (or logically deducible from), but not equivalent to, the corresponding statement function of (which may be denoted by 'φqx'); or in other words, if '(x) (φqx φpx)' is tautological (or logically true).