  The first examples of formations which are arboreous (and therefore Hall) but
not freely indexed (and therefore not locally extensible) are found. Likewise,
the first examples of solvable formations which are freely indexed and
arboreous (and therefore Hall) but not locally extensible are constructed. Some
open questions are also mentioned.
