x^x^y^y