Compactly_convergent loading ...