Case Study - Prefix-Independent Convergence