TC0 is in NC1.
Adds introduction paragraphs.