This paper continues exploration of a recent homotopy construction for group-sets. This final paper considers the invariant on topological spaces which admit a universal covering space. The universal version is an extension of the profinite completion of the classical fundamental group.