should return a+1