Fixes for chapter 2
Sketch for L->Hyb @ Chapter 4
Sketch for LF->Hyb @ Chapter 4