more compact nondeficient m-step