Re: [mizar] Hindrances

[Zenon Kulpa <zkulpa@ippt.gov.pl>]

> From mariusz@math.uwb.edu.pl Fri Nov  8 17:37:09 2002

> 
> Does anyone have a better idea how to name issue that Andrzej 
> describes below and similar to what Adam Naumowicz described 
> as a puzzle a few e-mails ago?
> 
> Some time ago, Andrzej suggested "hindrances" with understanding
> "hindrances to MML maintenance".  We finally used "integrity" in a
> paper for MKM.  Frankly, I do not like either of these names.
> "Smoothing rough edges" describes what is the essence of the issue but
> is still no good as a name for the problem.
> 
In essence, it is homonymy - different expressions 
with the same meaning.

-- Zenon Kulpa