set(auto).

list(usable).

-p | q.

p.

-q.

end_of_list.