:-initialization(main).

main :-
	[L|L] == [L|L],
	[L|L] = [L|L].