P
Initializing...
The arguments of a batched query satisfy the precondition of the query core · Prove2Me