Eilenberg–Mac_Lane_space loading ...