(Ex)(p)Mp(x)
sijoitetaan (Ey) x luo y:n & ~M x nostaa y:n
seuraa M~M x nostaa y:n
. Jotta tästä päästään muotoon (Eq)~M q(x}
tarvitaan esim Brouwerin symmetria-aksiooma joka sanoo että jlan mahixet eivät vähene. Ilman sitä Jla olisi kaikkivoipa kunnes tunaroisi luomalla sen kiven. Siinä sen voimat sitten uupuisivat.