J\subseteq F_n