APPROVED Jos De Roo using AllDifferent to derive differentFrom