Working on x^y