a|x (1)