orthonormal comments on Modal SAT: Self Cooperation