dense-compact -> compact