In the event that the insured bike is stolen, the insurer provides the calculated Insured Declared Value (IDV) after depreciation and deductible.