Thanks for this explanation. Wish he’d had it at the top of his post.

The formalisms are not an invention of the blog post, just the formal definition of iO