And here is the knights of the situation calculus, which I would post updates about this language: https://discord.gg/JgR75c64H