Added paragraphs describing the formal
specifications of knowledge.