Wie lautet aber der Satz “F wird von ebensovielen Gegenständen befriedigt wie ψ”? Man würde meinen: “(n):(Е nx).Fx.(Е nx) ψx”.