Abstract: I will develop the basics for a new method of adding a generic subset of $\omega_2$ with finite conditions using countable models as side conditions. This method is a generalization of Todorcevic's famous side condition technique in proper forcing. Some background in set theory and forcing is required.