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