To the Editor: We read the editorial of Professors Matko and Ana Marusic in the December issue of the Croatian Medical Journal (CMJ) (1). With regret we learned that the policy of the editorial board of CMJ, which created one outstanding, general medical journal, is questioned. We have been reading the CMJ for many years and published several articles in it. We consider Prof. Marusic not only the editor of an excellent journal, but the teacher of medical writing as well. We were aware that, because of our lack of experience, the article we were sending was incomplete, but we were also aware that it would not have the destiny like in other journals, as Prof. Marusic would correct the article with us. The comments in his char acteristic, amusing way what to correct, omit, or add, were making the article better and better… After attending Prof. Marusic’s workshop of medical writing, some on us published the articles in very prestigious journals. We are very grateful to him for his help. Prof. Marusic placed his editorial board at the disposal of the postgraduate students of Tuzla Medical University School of Medicine, as the assistance during the writing of articles which even do not have to be sent to the CMJ – with the wish to expand the awareness of necessity

We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language @Wmega. @Wmega is intended as both a practical programming language and a logic. The main goal of @Wmega is to allow programmers to describe and reason about semantic properties of programs from within the programming language itself, mainly by using a powerful type system. We illustrate the main features of @Wmega by developing an interesting meta-programming example. First, we show how to encode a set of well-typed simply typed @l-calculus terms as an @Wmega data-type. Then, we show how to implement a substitution operation on these terms that is guaranteed by the @Wmega type system to preserve their well-typedness.