diff --git a/tutorials/online/sidenote-format-fact.html b/tutorials/online/sidenote-format-fact.html index 219243f..62ed961 100644 --- a/tutorials/online/sidenote-format-fact.html +++ b/tutorials/online/sidenote-format-fact.html @@ -15,7 +15,7 @@
Facts do not need to have names, and are never refered to by name. +
Facts do not need to have names, and are never referred to by name. However, good names improve clarity tremendously.
A warning: When Alloy searches for examples, it