[mizar] natural

[Andrzej Trybulec <trybulec@math.uwb.edu.pl>]

There is a slogan that I learned in student time:

   "If it is natural, it is trivial. If you do something substantial,
    it cannot be done in natural way"


Regards,
Andrzej