superexpansion
not defined yet