The methods include the actions of receiving an input that specifies a plurality of requirements for an insurance product, in which the plurality of requirements include (i) a first set of ...