expand_more ...in ...ideally an isomorphism, ...freeĀ free e...