Theory, closed-form done