--- freem/doc/freem.texi	2025/05/05 12:51:46	1.46
+++ freem/doc/freem.texi	2025/05/05 12:55:17	1.47
@@ -271,12 +271,14 @@ Refers to an M intrinsic special variabl
 Indicates a @emph{list} of the following item, e.g., @emph{L gvn} means @emph{list of global variable names}.
 @item @emph{lvn}
 Refers to the name of an M local variable.
+@item @emph{postcondition}
+A @emph{tvexpr} immediately following a command verb affecting that command's execution.
 @item @emph{strlit}
 Refers to an M string literal.
 @item @emph{ssvn}
 Refers to the name of an M structured system variable.
 @item @emph{tvexpr}
-Refers to a truth-valued expression.
+Refers to a truth-valued expression, i.e., an expression interpreted as a truth value.
 @end table
 
 @node A Note on Standards