a_x did (7)