D tx ^ c.