Text this: Limit theorems for empirical distribution functions,