User blog comment:Ubersketch/Uncomputable function/@comment-32697988-20190618213909

>Uxy - For all x, x satisfies y. (x and y are sets)

Isn't y a statement?