draft-theory-manual-2