AllSubFormulas A program that takes a propositional formula for entry and returns all its subforms Run Exec index.html on a navigator(Google Chrome, Opera, Safare, etc)