If we win the first time, we win.
Use the plain E ruleset as a last resort.
Bump limit in light of SYJ203+1.003.

SYJ203+1.004 needs a depth of at least 50.  An suggestive correspondence
between the number of times weakening needs to be used in LI ("LJ") and
the number of times Proponent needs to repeat himself.  (Thereby
illustrating, again, the incompleteness of the "E + No-Repetitions"
ruleset.)
Merge branch 'refs/heads/master' into develop
Dump unused file.
Obviously inadequate goal test.
Dump old experiment.
Stubbin'.
It's defined later.
Stub.
Problems now have an initial node, rather than an initial state.
Drop unused function.
Initial nodes rather than initial states.
Wrong variable names.
Better documentation.
We don't change the initial node.
Dump unused function.
Whitespace.
Loopy.
WHEN.