Apply 1 suggestion(s) to 1 file(s)

Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>

spec/changelog.tex

@@ -33,7 +33,7 @@ Breaking changes:
         only determined by its syntactic category.
   \item The arguments for \proofRule{forall_inst} have been changed to
         no longer take the shape of bindings using \texttt{(:= x c)}.
-        Instead, the list of instatiation terms must follow the variable order.
+        Instead, the list of instatiation terms must follow the variable order and cover all the respective bound variables.
 \end{itemize}
 
 \noindent