Invariant-property conjecture. For any pair (γ,ρ)(\gamma,\rho)(γ,ρ), there exists a property P\mathcal{P}P such that:
