First go at the nonnegative SSSP section.