return LogicAlgorithm