add primality