(almost) finished section 2

I cannot think of two hypersurfaces for 2.17 (c)........................