Property that a system continues to make progress, e.g., blocks keep finalizing.