The speaker doubts that state constraints can generally be encoded into a model.

“Because now you can no longer just enforce these by going and modelling them in your architecture. You have to be able to kind of interact with the the state and the the architecture uh together. There's sometimes ways of actually also encoding this into your model. But whether this is generally possible I would honestly I would doubt this, especially since”