But presumably the employee had to pay a load of taxes on the RSU, no? I don't think SNAP is down so much yet, but you could end up with a very large loss, which is difficult to write off if you don't have other capital gains. Yes?