A different approach to bounding the minimal residual norm in Krylov methods