We need to characterize two sorts of compound infon, the meet of
a set of infons, 
, and the existentialization of an
infon with respect to parameter x, 
. We
characterize the conditions under which an anchor satisfies each:
iff i[f] is factual for each 
.
iff for some object a,
is factual.