law_of_the_excluded_middle - NISHIO Hirokazu's Scrapbox (Auto-translated from Japanese)