---------- Forwarded message ---------- From: "Undescribed Horrific Abuse, One Victim & Survivor of Many" <gmkarl@gmail.com> Date: Tue, 1 Nov 2022 13:13:25 -0400 Subject: Re: [ot][spam][crazy][random] numbers symbols arithmetic math To: cpunks@list.cpunks.org here is something! i dont remember first order logic https://github.com/stepchowfun/theorem-prover maybe i can translate it to common words