| ** | marking a “true invariant”, |
| * | marking a pattern which has made progress towards identifying such an invariant, but which needs further work, |
| No asterisks | marking a pattern which does not identify a true invariant, but which offers an example solution to the problem. |
We have found this (and also the diagram following) difficult to to supply for these usability patterns - but we are working on it!