Thanks so much for taking the trouble to tell me why it's impractical, hard to prove and not interesting. I'll probably remove the webpage. I'll move onto my ot

Thanks so much for taking the trouble to tell me why it's impractical, hard to prove and not interesting. I'll probably remove the webpage. I'll move onto my other (software) projects.