Add prime number spec