Hayman's portfolio is empty.