prover: range query done