- It should always be possible to complete a case
- It should not be possible to complete a case improperly
(proper completion), where improper completion means
that there is still work in progress after completion of
- For every task, there should be an execution of the
workflow that executes it (no dead tasks).