Introduces query verification