formula_list(usable).

% extensionality: two sets can't mutually include each other

all x y ( i(x,y) -> ( i(y,x) -> x = y ) ).

end_of_list.