@nil Yes, what I'm working on specifically is here: https://git.sr.ht/~rabbits/drifblim/tree/main/item/src/drifblim.tal
My notes on smullyan's aviary is here: https://wiki.xxiivv.com/site/logic.html