De Lavallade, Carmen, and Leo Holder