[xaedes]

"It always feels like the only way to make progress is by making a number of informal suppositions and waiting for a contradiction to reveal itself."

Sounds a bit like the scientific method =) Make hypotheses and try to falsify them