in an unprecented undisclosed offer for the supercomputer , facebook wanted to use symbolic logic features of evans to gather information on many of its users , about two hundred million users in total .