Added LogicalProblems class