x+1 \in S