In fact, it's such a powerful idea that nowadays there's maybe 6000 papers per year. with reductions from some problem that has, been shown to reduce from SAT to some new problem. and these are, important problems in, all fields of human endeavor. so, for example, the so called protein folding problem. 