formula_list(usable).

% an infinite set I

-( 0=I ).
all x ( e(x,I) -> e(w(0,x),I) ).

end_of_list.