assign(stats_level,0). %no unnecessary statistics
set(hyper_res).
list(sos). 
-p.
end_of_list.
list(usable). 
p | q.
p | -q.
end_of_list.