  The second method, the Rule of 0 and 1, is very powerful, but it depends on being given a collection of premise equations and a conclusion equation. It is a truth-table like method (but Boole never drew a table when applying the method) to determine if the argument is correct. He only used this method to establish the theorems that justified his General Method, even though it is an excellent tool for verifying simple arguments like syllogisms. Boole was mainly interested in finding the most general conclusion from given premises, modulo certain conditions, and aside from his general theorems, showed no interest in simply verifying logical arguments. The Rule of 0 and 1 is a somewhat shadowy figure in LT—it has no name, and is reformulated in Section 6 of Chapter V as a procedure to use when  carrying out a derivation and encountering uninterpretable terms. 