Breaking this into a new topic… I’ve been advised to convert a fact to an assert. To me, the advantage of a fact is that it’s always applied, whereas I have to check an assertion explicitly. The Book talks about using assertions, either to express “mundane” properties (which begs the question about what is interesting in a model), or to express “essential properties.”
Clearly this is an area for heuristics, partly guided by the experience of interacting with the visualiser.
Any guidance?
Thx