Function distinct in the model