Not exactly. It's more like this:

1. TradeFortress issues a cryptographically signed, digital promise to provide actual Bitcoins in the future when the promise is redeemed

2. TradeFortrees breaks his promise.