Better at investigating the idea that one could conceive of elements in the different commensurability classes of compact arithmetic hyperbolic three-manifolds indexed by non-split quaternion algebras {D/F} as forming some type of geometric Kolyvagin system (“Heegner points”) associated to {K_3(F)}, which one could yoke together by some unknown integral arithmetic version of the Jacquet–Langlands correspondence?