win(X) :- move(X,Y), \+win(Y).