> Any assertion outside of strict formal languages that use it are half-truths at best

I was going to say this is ironic but I will rather say I find this ironic