Interface PrimeAmongSecondarySupertypes