External direct sum

Summary