@nil Yes, what I'm working on specifically is here: git.sr.ht/~rabbits/drifblim/tr
My notes on smullyan's aviary is here: wiki.xxiivv.com/site/logic.htm