Finite Lists and the Propositional Calculus