I was reading the proof of pumping lemma from Sipser's book. I couldn't understand certain things mentioned there.
In the second paragraph he has written, "because $r_l$ occurs among first $p+1$ places, we have $l \le p+1$". Here, does $l$ denotes the number of states visited?
Also he wrote "We know that $j \neq l$, so $|y| > 0$; and $l \le p+1$; so $|xy| \le p$"
What I didn't understand is
$j \neq l$
$j \neq l$, so $|y| > 0$
$l \le p+1$; so $|xy| \le p$