1.0.16.4: correct nested DX reasoning