abstract_all;
accept_all_claims;