prove-sql