Added alldifferent