int[0,1] turn;P0 := P(0); P1 := P(1); system P0,P1;