Renaming LogicSolution to Solution