And to think they considered RFK Jr. for EPA head.