[NHLP-l] Re: trig_nondif/4