InvestorQ : How are options settled; by premium settlement or exercise settlement?