Transaction validity clause: output must exist
After reviewing the structure of a transaction, I now understand what is meant by that statement.



The input is the UTXO, and the output is the output of that UTXO. So when it says the output must exist and cannot already be spent, it's saying the output of the UTXO must exist and not already be spent.