 So he was not paying taxes on those. So that's why previous elections when he was running, that was kind of one of the things people were upset about on the other side of the aisle was, man, he's just got a low tax bracket. But he had set that up and that's grandfathered in. So it's not taxable.