Text this: Existence theorems for ordinary differential equations