proof updates, "two-branch tree" extra kanji