Formalizing the slow-roll approximation in inflation | Synapse