START
Are
any gaps
open?
NO
YES
END
Pick one;
note its proxi-
mate argument; and note
all rules that apply
Do
any rules
apply?
NO
YES
Mark gap as a dead end;
and confirm a counter-
example
Pick
one (prefer-
ring a rule that
closes gaps) and
apply it