being explicit when requiring prime