there are two other records that are also primes; this assertion is not valid as written.