> *Compute* (don't guess & test) the inverse transform: "*Eat* a burrito (but don't use your mouth)." Of course you use your mouth to eat a burrito, that's what eating means. Of course you construct an algorithm any way you can, when you're proving something's computability by construction. That's what proof by construction means.