[diego]

Hi Kisuke!
It is in the lecture 3.13 and 3.14.
They are the last lectures in Section 3 TAILS.

Let me know how it goes!
Diego