Added copyright boilerplate to preamble.
Margin tweaking
The value function need not be differentiable.

Added caveats.