Thanks, I believe the hate is also linked to my AI-positiveness... Funny enough GPT 6 Astra can easily produce a TLA+ model that can be verified under very real-world system model assumptions on the safety of RedLock, which is a paradox to the arguments I see in this thread and to the AI-rage.