DSP - no inference rules