Unique-solvability conjecture. The boundary value problem is uniquely solvable if and only if NζΩ=∅\mathcal{N}^\Omega_\zeta=\emptysetNζΩ=∅.
