using AllDifferent to derive differentFrom Jos De Roo APPROVED