Freund–Rubin_compactification loading ...