Wei Dai comments on Atheism = Untheism + Antitheism