Do we know if Eisenhorn is even still a part of this