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 @@

Syntax for fact statements

} -

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