5.441
Dieses Verschwinden der scheinbaren logischen Konstanten tritt auch ein, wenn „/(Ex)./fx” dasselbe sagt wie „(x).fx”, oder „(Ex).fx.x = a” dasselbe wie „fa”.