(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.