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