proof methods (including Sequent systems, Tableaux, Resolution). Such systems tend to be