“There is no single trick that gives you the truth immediately. You actually have to think.” is a mischaracterization. This thing “thinking” has a structure, and we want to discover that structure, optimally mathematically.