com.andreimikhailov.sumofps
Can we take scalar $\lambda\theta\mu\theta$, multiply it by $\lambda - \mu$ and get a nontrivial cohomology class?
Can we get a nontrivial cohomology class from $\Phi_{up/down/mixed}$ ?