5

6

or general instrument tool of reasoning, but is
only meant for use in the study of logic,
where it quite infrequently happens that it
is necessary to ascertain whether or not any
very complicated graph is alpha-possible
or not, the waste of time due to this rule not
being the simplest possible, is not of much
importance.

The rule prescribes a routine calling
for the exercize of so little intelligence that a
machines might be devised to perform it.
When we pass to the problem of beta possibility
that is of formulating a rule for positively
ascertaining whether a graph with ligatures
is logically possible or not, it would be quite easy to