orthonormal comments on Atheism = Untheism + Antitheism