diff --git a/naming.txt b/naming.txt
index 056cad64319a7e9628a86d31846ac5cc4b777d9b..ed87ef4c324a8540f23e23e8147d0c83fc2a8646 100644
--- a/naming.txt
+++ b/naming.txt
@@ -14,10 +14,10 @@ l
 m : iGst = ghost state
 n
 o
-p : progress bits
+p
 q
 r : iRes = resources
-s : state (STSs)
+s : state (STSs), stuckness bits
 t
 u
 v : val = values of language