* Review of Section 2 and fixmes