Komentarji: From bounded structural rules to linear logic modalities, 38(2000)