Ownership of companies for Harvey Partners, LLC