DX / TX algorithms in logic?