Finished about propositional logic syntax.