Oh for the purposes of this, I’ve switched away from the thing I was looking at the other day and I’m modeling with
‘s switch question. [electric switch].
I think what I’m shooting for is an independence of identity. Establish some essential boundary qualities that distinguish one from another.
So for the State view of the switch, there’s:
State 0: off
State 1: on
The focus is on the control mechanism and what happens next: A cause and effect relationship.
But let’s eliminate the control mechanism entirely.
What do you have? You have two superimposed systems. So, separate the systems.