2 problems

Chang-type uB-powerset sealing conjecture. Moreover, the $\sf{Sealing}$ Theorem holds for $\mathsf{C-uBp}$ in $V[g]$.

Model completeness conjecture. The theory of $L_\Theta(\mathsf{UB}^{\omega_1})$ is model complete for the signature