Limitations of propositional logic

Under construction