An investigator is analyzing a series of Bitcoin transactions related to a darknet market.
They notice that a suspect's address receives 5 BTC.
The suspect then sends 1.5 BTC to another address.
In the context of the UTXO model, what best describes the state of the original 5 BTC?