X = [X|_A].