Two frameworks for pricing defaultable derivatives. (June 2019)