oh i agree. There’s that one that crosses over both of them — it uses Intuitionist logic – fixed point guy, can’t think of the name – is it Kleene? I dunno – anyway, they’re different expressions of the same thing, my brain just processes step-based things better than set-based things.