Distinctness is not equal to uniqueness in this assignment