[NZ] inference rules