And the first thing that comes to mind is that "you" can do declarative programming now, because someone in the past did all the imperative programming to enable it. Question is, what happens if the declarative fails? How easy is it to get at the imperative guts?