"x"y(Exy®Ayx)	Per a tot x y per a tot y, si x estima a y, y se sent agraïda a x; Sempre que una persona estima a una altra aquesta l’hi agraeix.
	"y$x(Bxy)	Per a tot y hi ha algun x que és la seva ànima bessona; Tota ànima té la seva ànima bessona.
	"y$x(Exy)	Per a tot y hi ha algun x tal que x estima a y; Tothom estima a algú.
	"x"y(Exy)	Per a tot x i per a tot y, x estima a y; Tothom estima a tot el món.
	$x$y(Exy)	Per a algun x i per a algun y, x estima a y; Algú estima a algú.
	$x"y(Exy)	Per a algun x y per a tot y, x estima a y; Algú estima a tot el món.
	"x"y(¬Axy®Mxy)	Per a tot x y per a tot y, si no succeeix que x és amic de y, x se sent molest amb y; Quan no s’és amic d’algú ens és fàcil sentir-nos molestos amb ell.
	¬"x"y(Exy)	No per a tot x y per a tot y, x estima a y; No tothom estima a tot el món.

Aquesta obra està sota una llicència de Creative Commons.