get rid of `then all`