From Liveness to Promptness
PDF