Every relevant lemmas from Real Analysis, or at least all the ones we texed up.