  We develop a new method for building forcing iterations with symmetric
systems of structures as side conditions. Using our method we prove that the
forcing axiom for the class of all the small finitely proper posets is
compatible with a large continuum.
