. welcome to the tutorium of Y in ikry/,
which describes itself with a paragraph like "comment"
.
which does not end at ., if you thought so.
but x. is not the beginning of a paragraph,
or a bottle that is, it is a hint:
at the beginning of a bottle paragraph...
 hard to tell.
 it ends after some thing called empty line.
unlike "comments", it is very good for writing
on multiple lines, and telling of . and "
but it can't describe anything relevant about
the empty line... very sad indeed.

d: i d l l l m "example abstract definition: (d)->(i)->(d)->"

T:: . (outer definition)
THIS Y is
 * COMMENT-SYMBOL " .
 * ABSTRACT DEFINITION :
 * ABSTRACT DOT-SYMBOL . "the church bottle"
  -(x.x x) y
   y y
  -(x.x) ((x.x x) 1)
   (x.x) 1 1
   1 1
  -(y.x.x y) 1 2
   2 1
  -(y.y x) 1 1
   1 x 1
  -(y.y y) (x.x x) 1
   (x.x x) (x.x x) 1
   ...
 * OUTSIDE "the baseless church contents"
   "every found something, that wasn't a comment,
    a definition or a bottle."
 $ and some NSA-coordination stuff
 * OUTSIDE REQUIREMENT ::
   require it outside, cry about not defined stuff...
   nonetheless the conditions provided
   as comment after :: do not make
   OUTSIDE ITEMS more "real".
   (sorry John, more work for both of us)
.