I argue that emotion research needs formal (mathematical) theory to address two central questions. How does evolution shape mechanisms of emotion development across generations, depending on environmental conditions? How do these mechanisms generate emotions, based on lifetime experience and current context? Formal modeling enables researchers to state ideas clearly and precisely, deduce predictions, and evaluate the fit between theory and data.