got the code to compile!
generating random queries, but they are incorrect
generating a simple counterexample!