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