How cold is too cold? A theoretical analysis of the optimal trigger for index insurance for frost damage to crops | Synapse