subsections:
State transformers
Assertion logic