DS semantic consistency