J\subseteq S_1