Does Ask Prover still need a vector database? | Reports