(: This query simply evaluate to an empty sequence. :) ()