“primes” is another name for Prime mark.