Short selling and certain aspects of credit default swaps | GovLens