xy' = y+1