diff --git a/crates/proof-of-sql/examples/vehicles/main.rs b/crates/proof-of-sql/examples/vehicles/main.rs
index cf8491dc2..dede0042e 100644
--- a/crates/proof-of-sql/examples/vehicles/main.rs
+++ b/crates/proof-of-sql/examples/vehicles/main.rs
@@ -123,4 +123,10 @@ fn main() {
         &verifier_setup,
     );
 
+    prove_and_verify_query(
+        "SELECT MAX(price) FROM vehicles",
+        &accessor,
+        &prover_setup,
+        &verifier_setup,
+    );
 }