By the way, did anyone short EK? Are profits being taken? And here, finally, they got my bid on AGM at $28.80.