6.4 Credit Default Swaps