As a result of a casualty event, Theresa disposed of tangible personal property (a § 1231 asset) at a realized and recognized loss. At the time of the casualty, the property was worth substantially less than Theresa had paid for it, but it still had an adjusted basis greater than zero. This was her only business casualty, and she has some § 1231 lookback loss. Is the resulting loss a casualty loss that can be offset against a long-term capital gain or a casualty loss deductible for AGI as an ordinary loss?