“…In subsequent work, they also constructed an exhaustion of the curve complex C(S) = ∪ n X n by a nested sequence of finite rigid subcomplexes X n [3]. Subsequently, a plethora of surface complexes have been shown to have (exhaustions by) finite rigid sets [9,10,12,13,19,20,23,24].…”