Propositional Logic is Boolean Algebra