@robinhouston That's fascinating. I want to have a good think about it before I read the PDF. My first guess is its doing something like encoding the statement "x is prime"