User blog comment:Ubersketch/Collapsing the first 1-dinal/@comment-35470197-20190702215756

Since \(\overline{\Omega}\) is a proper class, \(\overline{\psi}\) is obviously ill-defined.