I’m supposed to be finishing a wonky series on proof systems (here and here) and I promise I will do that this week.. In the midst of this I’ve been a bit distracted by world events. La…