As above, where the value of an asset in the future is known (or expected), this value can be used to determine the asset's rational price today. In an option contract, however, exercise is dependent on the price of the underlying, and hence payment is uncertain. Option pricing models therefore include logic that either "locks in" or "infers" this future value; both approaches deliver identical results. Methods that lock-in future cash flows assume "arbitrage free pricing", and those that infer expected value assume "risk neutral valuation".