Minor Change

rcosta358 · rcosta358 · commit a26f8786fcff · 2026-04-08T09:38:45.000+01:00
diff --git a/pages/annotations/state-refinements.md b/pages/annotations/state-refinements.md
@@ -39,9 +39,8 @@ f.read(); // State Refinement Error
 
 If a class follows an implicit protocol that can be described by a DFA, the protocol can be encoded in LiquidJava so that methods are enforced to be called in the correct order.
 
-## Syntax
-
-Note that states are functions. These take a single parameter, which is the object being refined, in this case the implicit `this`. All of these are equivalent: `open()`, `this.open()`, and `open(this)`.
+{: .note }
+States are functions. These take a single parameter, which is the object being refined, in this case the implicit `this` receiver. All of these are equivalent: `open(this)`, `this.open()`, and `open()`.
 
 ## State Initialization
 
