Example: Indirect cardinality observation

Let $q\in \{0,1\}$, and let a geometric rule request $q\mapsto 1$ subject to the guard

Coupling algebras may be trivial and every matter operation may avoid spectators. A run with $|\Gamma |=K$ permits the update, whereas adding one spectator blocks it.