Internal direct sum