| Spec = f(What, Why, Constraints) | Implementation = Plan(Spec) | Spec = (Objective x Features x Constraints) => Plan |