Update doc/manual/syntax.md

Co-authored-by: jneem <joeneeman@gmail.com>

doc/manual/syntax.md

@@ -705,8 +705,7 @@ The optional annotation `<annot>` can include either:
 
 A contract annotation and a default annotation can be combined.
 
-**The presence or the absence of a contract annotation never changes the fact
-that a pattern matches a value or not**. For example, both `{foo}`, `{foo |
+**The presence or the absence of a contract annotation never changes whether or not a pattern matches a value**. For example, both `{foo}`, `{foo |
 Number}` and `{foo | String}` match the value `{foo = "hello"}`. The difference
 is that `{foo | Number}` will result in a later contract error if `foo` is ever
 used. The contract annotation is merely a convenient way to apply a contract to