Logic is useful for proof, but almost never for making discoveries. - Vilfredo Pareto