Why use the word "formula" instead of "predicate"?

a logical expression that evaluates to true or false

Suggestions:

1. How about making extra clear specific examples with numbered diagrams? So, in this case, you could simply label each image you have made.
2. Or, going further with the concept, you could highlight named, numbered, and/or labelled "transition diagrams" that show the evolution of a model being built, or show the branching paths (or loops) of a state machine. I like to use Figma for this sort of diagram drawing for it's flexibility, and ability to create interactive prototypes. ( On a related note: Not sure if this still works: https://github.com/ddanielbee/figma-fsm )
3. Thirdly, simply draw out one or more FSMs (or pieces of them) that will help readers quickly visually comprehend the message you are conveying through text, for example: https://images.app.goo.gl/MR5mV6iUmkHxn1b38