hard core sum

.