orthonormal comments on ialdabaoth is banned