34

27

that as far as this rule is concerned a point on
a cut is to be treated as being within
the cut, although in other respects it is to
be treated as being outside the cut. The cause
of this is that we take it for granted that something
exists. How this cause produces this
effect I shall leave it for you to make out.

The rule of two cuts about the double enclosure receives an extension
since not only are two cuts of no effect
when nothing no graph is between them, but they
are equally so when nothing is between
them except lines of identity that [traverse?]
the space between the two cuts.

The rule of iteration and deiteration
takes a form which cannot easily be
expressed without defining a new
term, ligature. By a ligature is meant
a line of identity together with all other
lines of identity that have points in
common with it. For example

27

that as far as this rule is concerned a point on
a cut is to be treated as being within
the cut, although in other respects it is to
be treated as being outside the cut. The cause
of this is that we take it for granted that something
exists. How this cause produces this
effect I shall leave it for you to make out.

The rule of two cuts about the double enclosure receives an extension
since not only are two cuts of no effect
when nothing no graph is between them, but they
are equally so when nothing is between
them except lines of identity that [??]
the space between the two cuts.

The rule of iteration and deiteration
takes a form which cannot easily be
expressed without defining a new
term, ligature. By a ligature is meant
a line of identity together with all other
lines of identity that have points in
common with it. For example