Bounded compactness from G(E)UP | Synapse