I understand that there is a 5c cancellation fee deduction for each ADS payment. How about the options? For example, July 27 calls, if the buyout closed in May, the owner of these calls will receive 50c or 45c? provide the buyout price is still $27.50. I guess it will be 50c since for every option buyer there is a seller there, options are settled between market players themself and not really involve any ADS cancellations. Am I right?