Text this: Flatness, completion, regular sequences :