innit(H,[H|_]).

innit(X,[_|T]):-
	innit(X,T).