x^x = x+1