Add arithmeticSolution and arithmeticLogicalSolution.
Change logicalStatementSolution2.