Shop Formulas, Theory and an Intro to Modes