set(auto).

list(usable).

-p | q.

-q | r.

p.

-r.

end_of_list.