diff --git a/system theoretic process analysis.md b/system theoretic process analysis.md
index 637dce358..c407e220d 100644
--- a/system theoretic process analysis.md	
+++ b/system theoretic process analysis.md	
@@ -29,6 +29,7 @@
 		- [[feedback]] can be derived from [[responsibilities]] (which information does the process model need to contain?)
 	- step three: [[identify unsafe control actions]]
 		- an [[unsafe control action]] is one that, in a particular context, will lead to a [[hazard]].
-		- it must include the actual (real) context in which the control action is unsafe; and it must be linked to a hazard. it shouldn't depend on
+		- it must include the actual (real) context in which the control action is unsafe, instead of controller beliefs; and it must be linked to a hazard.
+		- define [[controller constraints]]: behaviours that need to be satisfied to prevent UCAs.
 		
 	
\ No newline at end of file