lec12-deriving-np.pdf