Now I’m wondering what the Chinese version of intuitionistic logic would look like.