diff --git a/ql/src/codeql_ruby/ast/internal/Variable.qll b/ql/src/codeql_ruby/ast/internal/Variable.qll
index 456286f20a2..21becb15cce 100644
--- a/ql/src/codeql_ruby/ast/internal/Variable.qll
+++ b/ql/src/codeql_ruby/ast/internal/Variable.qll
@@ -508,6 +508,11 @@ class TVariableAccessReal =
       TClassVariableAccess;
 
 abstract class VariableAccessReal extends VariableAccess, TVariableAccessReal {
+  /**
+   * Same as `getVariable()`, but restricted to non-synthesized variable accesses.
+   *
+   * The sole purpose of this predicate is to make AST synthesis monotonic.
+   */
   abstract VariableReal getVariableReal();
 }