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.)