Transforming Problem Domains

Differential equations are tricky.

IF we know how to perform a Laplace transform on any differential equation and the result is always an algebraic equation, then
Solving differential equations is no harder than doing algebra

"algebra solves differential equations"

In the same way Boolean Satisfiability solves the Knapsack problem.