54

50

in every such case there will be a graph of which one replica is in the
outer close while another is on the sheet of assertion outside.
Namely, that graph is the blank. And since the
present principle permits us to transform
\vscroll {x}{y} x
[into]
\vscroll {x}{y} x y
whatever x may be, it allows this transformation
when x is the blank; so that we can
transform
\vscroll {\ }{y}
into
\vscroll {\ }{y} y.
We may count this
as our third permission, so that we have

Permission No 3. A graph within a double
enclosure on the sheet of assertion may be scribed
on the sheet of assertion, unenclosed.

The consideration of what further explicit
permission is involved in the predication of
the definition, the definitium being the subject, had
better be postponed until we have considered

50

in every such case there will be a graph of which one replica is in the
outer close while another is on the sheet of assertion outside.
Namely, that graph is the blank. And since the
present principle permits us to transform [diagram ??]
whatever x may be, it allows this transformation
when x is the blank; so that we can
transform [diagram ??] into [diagram ??]. We may count this
as our third permission, so that we have

Permission No 3. A graph within a double
enclosure on the sheet of assertion may be scribed
on the sheet of assertion, unenclosed.

The consideration of what further explicit
permission is involved in the predication of
the definition, the definitium being the subject, had
better be postponed until we have considered