Entire Set – NLSAT