Add section, definition, cond