If an input is viewed, and the corresponding output is destroyed,
then it destroys the input.
There would be ways to be more precise, but at least this is correct.