Robust bounds for Krylov methods revisited | Synapse