diff --git a/source/mmt/Example.mmt b/source/mmt/Example.mmt
index 91e79a682fe5916fa6670290254ddf1d87382db5..8824dd2831e4e46c0b681be4ec977434617d0aef 100644
--- a/source/mmt/Example.mmt
+++ b/source/mmt/Example.mmt
@@ -101,5 +101,5 @@ theory FreeFallOnEarthModel =
 	
 	gravity: $ Acceleration (Vector 3) ❘ # g ❘ = (◁ 0.0, -9.81, 0.0) ! (metres /'' seconds ²'')❙
 	
-  equation_of_motion: ⊦ x ≐ x_0 '+' (v_0 '*' t) '+' g '*∘' (t '*' t '/' (2.0 ? units)) ❙
+  equation_of_motion: ⊦ x ≐ x_0 '+' (v_0 '*' t) '+' g '*∘' (t '*' t '/' (2.0 ? units)) ❘ role Law ❙
 ❚
diff --git a/source/mmt/VanRoosbrockEg.mmt b/source/mmt/VanRoosbrockEg.mmt
index b7b4ea06c7612a5bc87ab438b9ee52453398c143..23b1eaea578ada0fa1a3575e339ec8995662919a 100755
--- a/source/mmt/VanRoosbrockEg.mmt
+++ b/source/mmt/VanRoosbrockEg.mmt
@@ -74,23 +74,23 @@ theory VanRoosbrockEg : qe:?ModelBase =
 	include ur:?LF ❙
 	include qe:?BoundaryConditionBase❙
 
-	permitivity_relation: ⊦ ε_s ≐ ε_r '*' ε_0  ❘ role Law❙
+	permitivity_relation: ⊦ ε_s ≐ ε_r '*' ε_0  ❘ role Law ❙
 	
 	displacement_law: ⊦ D ≐ ε_s '∘*. E ❘ role Law ❙	
 	
 	gauss_law: ⊦ -. ρ ≐ ∇⋅. D ❘ role Law❙ 
  	
-	charge_density_law: {x: Ω}⊦ ρ x ≐ e '*' (C x '-' n x) ❙
+	charge_density_law: {x: Ω}⊦ ρ x ≐ e '*' (C x '-' n x) ❘ role Law ❙
 	
-	displacement_relation: ⊦ D ≐ ε_s '∘*. E❙
+	displacement_relation: ⊦ D ≐ ε_s '∘*. E ❘ role Law❙
 	
-	electric_field_law: ⊦ E ≐ -. ∇. Ψ ❙
+	electric_field_law: ⊦ E ≐ -. ∇. Ψ ❘ role Law❙
 	
-	electron_density_law: {x: Ω} ⊦ n x ≐ N_c x '*' (exp ((e '*' (Ψ x '-' φ_n x) '-' E_c x) '/' (k_B '*' T x)))❙
+	electron_density_law: {x: Ω} ⊦ n x ≐ N_c x '*' (exp ((e '*' (Ψ x '-' φ_n x) '-' E_c x) '/' (k_B '*' T x))) ❘ role Law ❙
 	
-	electron_current: ⊦ j_n ≐ ((e '∘*. μ_n .*. n) .*. (∇. φ_n)) ❙
+	electron_current: ⊦ j_n ≐ ((e '∘*. μ_n .*. n) .*. (∇. φ_n)) ❘ role Law  ❙
 	
-	electron_continuity_eqn:  ⊦ ∇⋅. j_n ≐ ([x: Ω] 0.0 ? units)  | Ω ❘ role Condition ❙
+	electron_continuity_eqn:  ⊦ ∇⋅. j_n ≐ ([x: Ω] 0.0) ❘ role Law ❙
 	
 	two_potential_at_boundary : Dirichlet Ψ ([x: ∂Ω] 2.0 ? volts)❙