7 ms·The tools would come from trying to solve NS, not from knowing it is true/false.by kaffekaka 4d agoThe tools would come from trying to solve NS, not from knowing it is true/false.