different(X, X) :- !, fail.
different(_,_).