diff --git a/constraints.tex b/constraints.tex
index 3eeef6c..08f62c0 100644
--- a/constraints.tex
+++ b/constraints.tex
@@ -9,6 +9,9 @@
 
 %\subsection{Well-Formedness}
 
+Constraint generation step is the same as in \cite{TIforFGJ} except for field access and method invocation.
+Here \fjtype{} generates capture constraints instead of normal subtype constraints.
+
 The constraint generation step cannot determine if a capture conversion is needed for a field access or a method call.
 Those statements produce $\lessdotCC$ constraints which signal the \unify{} algorithm that they qualify for a capture conversion.