a -> x