Shortened the optimal substructure explanation.