START
Are
any gaps
open?
NO
YES
END
Pick
one;
note its proximate argument;
and note all rules that apply
Do
any rules
apply?
NO
YES
Mark gap as a dead end;
and present a counter-
example
Pick
one;
and apply it