EFTA Document EFTA01393161

occurred within the covered period. II an event otherwise meeting the definition of a credit event occurs after the end of the covered period but before the option expires. the option will not be exercised and will expire worthless. tl the listing options market determines that a credit event has occurred within the covered period for a class of credit default options, it will provide a Credit event contain• bon to OCC, and the options will be automatically exercised. Holders of the exer