← Direct sums - Vanderbilt University