Nat Alison: Procedurality and the Primes