I will continue my series of talks about the method of forcing with side conditions, and discuss two applications which were not covered in the recent Appalachian Set Theory workshop: an omega_2 sequence of functions from omega_1 to omega_1 which is increasing mod finite, and a consistency proof for PFA using finite support iteration.