Now also testing t_tx_OP_y().