x'=x+1