This analysis is a good model as to how to reason about parallelizing any sequential code in general.