peirce__excluded_middle を追加したなど。