== step =====
step =>> d_1X.prep   (*  :  *)
step =>> d_X.prep   (*  :  *)
step =>> stepO   (*  :  *)
== upd =====
upd =>> d.upd   (*  :  *)
  d.updO =>> updO   (*  :  *)
