====== Symbolic Logic Tutorial ======

===== Functionality TODO List =====

  * Add quantification ability
    * Requires learning compiler skills to validate another language
  * Make more user friendly using Ajax
  * Fix Bugs
    * two questions with the same question/answer get the same id in students' performance report -- is the problem more pervasive?

===== Other TODO List =====

  * Make application work on Apache Tomcat