Import work on 'primes'
Reformulate the 'prime' predicate