Hi, I just came across a short article "Natural Language Principles in Perl" (http://www.wall.org/~larry/natural.html) by the Perl's creator Larry Wall. It is interesting to think in these design concepts about the Mizar language (or mathematical languages generally). Josef