(: This query evaluates to nothing. :)
()