If the Consistency of one of two propositions implies the Consistency of the other, the first is said to have greater consistency strength.
