Explain what a first-to-default credit default swap is. Does its value increase or decrease as the default correlation between the companies in the basket increases. Explain.