For these problems, think strategy.
- First have a goal in mind at all times.
- Second, do something which seems obvious to you only if it
also seems obvious that it will help.
- Third, look to your goal's main connective for I-rules and
to accessible sentences' main connective for E-rules.