ZFGはCと矛盾する可能性について、誰か議論した人はいないのかな?