How close are we to being able to have the kind of system you discuss in your TED talk on computing a theory of all knowledge [ted.com], and how do you think we could use this kind of approach in practice to improve the reliability of information that people are reading on the web? How would you suggest it might be integrated within the current framework to provide possible utility outside of the Wolfram Alpha site itself, if at all?