 A well-known example of an effective method is the truth table test for tautologousness. In principle, a human being who works by rote could apply this test successfully to any formula of the propositional calculus—given sufficient time, tenacity, paper, and pencils (although the test is unworkable in practice for any formula containing more than a few propositional variables). 