a_x want to do (1)