simplification: tx_for_sig