It's likely he's already up massively on his PUTs, which were purchased sometime in Q1. We don't really know the strikes or expiry dates, so it's hard to say.