serious question: If I am short leap puts — and Twitter is acquired, do my puts instantly expire and collected premium mine to keep?