Notes for nontermination.
Notes for strategies.
Laziness notes.
Rewrite laziness/derivative bullet point.
Lead in to laziness in ObjC.
Laziness/ObjC notes.
Add usage of laziness in Swift.
Swift laziness notes.
Lead in to memoization.
Memoization notes.