Yes: the reason is that a great deal of the logic connecting properties here
uses the assumption that the ring has identity. However, there are many interesting examples
out there that are not quite rings, and it would be a pity to overlook them. For this reason,
we will keep
a page of misfit examples.