This new query is not written because it's the most interesting query we could write but because it's an IR-based query whose results are easy to verify.
