Proof Dimensions are Meshing Together