Correct, I didn't mean to make it sound like they were foreign to iO overall. Just that the formalisms were in the blog post. (The iO research field, overall,

Correct, I didn't mean to make it sound like they were foreign to iO overall. Just that the formalisms were in the blog post. (The iO research field, overall, is still pretty weird to me.)