added checking of txs using convenient tuples, dont have to specify all
Fix forgotten aref to i
txs checking needed to be updated. Seem to have a problem where value==0