Text this: Primality testing in polynomial time