Curious. Are there any contractual obligations for stock compensated employees to sell their stock at some point? Or did they just sell bc the market was taking a dive?