Before revision:  The main tool  for cleaning up the reasoning is by using static hedging arguments.
After revision:  The main tool for cleaning up the reasoning is applying static hedging arguments.