Method: ceiling = lower of (bad-year production from the RM yield history at your chosen odds) and (crop-insurance guaranteed bushels, estimated as long-term average × coverage). Contracts with an Act of God clause are treated as carrying no shortfall risk. Buyout = shortfall × (replacement price above contract + admin fee).