i     <;> nextstate(main 2 x.pl:4) v ->j