Automatically paid out at the price they bought the company at. So at that 25% premium share price.