An example removed from the present discussion: Some have alleged that identity cannot be the relation that holds between, and only between, each thing and itself, for if so, the nontriviality of identity statements would be inexplicable.