Preapproved neoplatonics: primes whose existence is known by construction (existence known by construction, no numerical proof needed).