  We investigate the ability of a free pro-$\CC$ group of infinite rank to
abstractly solve abstract embedding problems, and conclude that for some
varieties $\CC$, the profinite completion of any order, of a free pro-$\CC$
group of infinite rank, is a free pro-$\CC$ group as well, of the corresponding
rank.
