Fixed claims of correctness w.r.t. concerns about lost paths given memoization.