!xと書くかx != 0と書くかという宗教戦争も含んでいる気がする。