Reasoning with two different formal systems simultaneously—code and runtime, logical theory and model, equations and data set, spec and implementation— this ability is on the edge between advanced systematic cognition and basic meta-systematicity. https://www.johndcook.com/blog/2018/02/10/iterating-between-theory-and-code/ …
Thanks! That good feedback. I would like to address as broad an audience as possible. Simplifying language & presentation would help! It may be easier for me personally to do the more complex version first :)