[mtrimpe]

It might have been better to demonstrate this with examples like:

  truth-tables for (nested) if statements
  petri-nets for a state machine
  etc. etc. etc.