Was a sell order for 40k options at 0.004c this morning, but someone comes in and buys 100k options at 0.005c. I thought the order may have been pulled before market opened, but it's gone through.