Why the world needs a verification engine