\forall y\exists z \forall w\exists s\left( \lbrace e\rbrace^{k+3}_s\left( x,y,z,w\right)\simeq 1\right)