Six reasoning tools to make hard problems easy