Thank you for this link. A few months ago I stumbled across your paper, Common sense for concurrency and strong paraconsistency using unstratified inference and reflection and found it entirely remarkable. I look forward to reading the new paper you linked.