Tx < Ty