However we understand the proposal, López de Sa notes that it has a number of virtues. It seems to account for the puzzle involving the house, what he calls the Problem of the Two. If in general counting involves distinctness, then we have a good sense in which there is one cat on the mat, and Fred owns one house.