5 No-Nonsense Framework modern theory of contingent claims valuation by pde and martingale methods