unneeded variable NP excluded