### Comment:
There are people asking whether their 7/19 options expire when the market opens or when it closes tmw... I'm not sure if most of them will still be solvent in 3 weeks, let alone 3 months

### REPLY:
Touche

### END.