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