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