Every algorithm ever written reduces to just two ingredients and two fundamental questions about time, space, and correctness ...