https://1library.net/document/zx5j2jvq-open-ended-systems-dynamic-bisimulation-and-tile-logic.html