Pershing Square Performance, Pershing Square Holdings gained 10.