element_at(X, [X|_], 1).
