… the generalization that the presence of at least one posterior (compact) injective implies the presence of at least one anterior (diffuse) injective.
Standardized
IF there is at least one posterior (compact) injective, THEN there will be least one anterior (diffuse) injective.