I’d add: floss before brushing. Allow the tooth brush to carry away the gunk disloged by flossing.
Makes sense, and also it really is only needed to floss in between. Flossing the front and back of teeth is redundant, the brush will hit that part just fine.
Also there is no need to use anything harder than a soft toothbrush. Stiffer bristles will wound the gum. I don’t know what good the little rubber nib on some tooth brushes can do. They say stimulate the gums, but just plain eating will do that.