4 ms·

Purely deductive reasoning will crash and burn in a combinatorial explosion if there's nothing to guide it to the kind of problems it may encounter.