"Current state" for category theory/interdependent

• Arrows "fall down" to new target after compose

• Smaller/bigger circles

• Shrink by generalized element, grow by dtor

• "meaningfulness of association" (entational formula, plus arrows)

• Identity arrow "on top of" object circle, equivalenced on what it can compose with

• Merging circles when one is inside the other (entational view of dependent pair example)