I will present a technique for building finite support forcing iterations with certain symmetric systems of structures as side conditions. I will also give some applications of the technique to the construction of models of versions of Martin's Axiom for certain classes of ℵ2-c.c. partial orders, and will say something about extensions of these methods. Most of this is joint work with M.A. Mota.