On Credit Default Swaps