“…To prove that commensurable groups in act on a common model space, we use the abstract commensurability classification of groups in the class . The following theorem was shown in for , and easily extends to arbitrary ; see also . Theorem Let be the unions of surfaces and , respectively, where each surface has one boundary component, all boundary components of the are identified, and all boundary components of the are identified.…”