>> key('keyName', $keyValue)[.[1]]
>
> the effective boolean value of .[1] is always true so that is the same as
> key('keyName', $keyValue)
>

Indeed. key() returns a sequence of nodes, therefore "." in the predicate is
always a single node, therefore .[1] is a single node, which has an EBV of
true.