(: Check that "foo" obtained in two ways is identical :)
(collection()//foo)[3] is collection()//id[.=13]/following-sibling::foo