non(But) :-
	findall(X,But,[]).