toy_dynamics_tis.ipynb thru State/I'face defs