Typically options vest whenever there's a change of control, which occurs during a buyout. So if the contract is typical, then JL's options would vest upon buyout.