excluded_middle_informative の説明を増やした。