Almost isotropy-maximal manifolds of non-negative curvature | Synapse