:-initialization(main).

main :-
	write_term(T,[variable_names(['Bad'=T]),variable_names(['Good'=T])]), nl.