Time is Money: The Value of a Verified Knowledge Engine