  We prove that NL is strictly contained in P. We get this separation as a
corollary of the following result: the set of context-free languages is not
contained in NL. The reader should recall that CFL is contained in DTIME(n^3)
