How does the negative fee work, exactly? Output grins < input grins, basically the opposite of a normal fee? Furthermore, I was under the impression that people would be rewarded for reducing the UTXO set (from one of Andrew Poelstra’s old talks), which doesn’t seem to be the case if inputs have less absolute weight than outputs.