> I had not realized that # was not well defined # is certainly well defined; it's just not what most people expect it to be in the case of holes.
