* "Encode the simulation inside the representation"
* The counterbalance shall not become base
... because it requires a chain of unfit transitions