Title: Flatness, completion, regular sequences