upvote
Thanks for this explanation. Wish he’d had it at the top of his post.
reply
The formalisms are not an invention of the blog post, just the formal definition of iO
reply