SMS: Limit theorems for empirical distribution functions,