 What changes with AFA, and what does not change?.    AFA gives us unique solutions to systems of set systems; this is almost immediate from the axiom and the close relation of set systems and graphs.    But it also gives us unique solutions for stream systems and tree systems. The details of this are suggested by our work on the decoration of   the graph related to streams and pairs which we saw earlier on. 