The current language has loops and Boolean variables. It is trivial to reduce a TQBF formula into a Meson program. The entire issue is a red herring. They cli

The current language has loops and Boolean variables. It is trivial to reduce a TQBF formula into a Meson program. The entire issue is a red herring. They climbed up a tree and can't climb down without losing face. The correct way to handle the situation is to make the change, wait for everyone to cool down, and then pretend that was their position all along.