diff --git a/src/converter/dimacs/LogicalExpressionValidator.ts b/src/converter/dimacs/LogicalExpressionValidator.ts
index 02bc629..3648ab5 100644
--- a/src/converter/dimacs/LogicalExpressionValidator.ts
+++ b/src/converter/dimacs/LogicalExpressionValidator.ts
@@ -107,10 +107,6 @@ export class LogicalExpressionValidator {
       wasNegate = token.name == TokenName.negate;
     }
 
-    if (errors.length > 0) {
-      return errors;
-    } else {
-      return null;
-    }
+    return errors;
   }
 }
diff --git a/src/pages/solve/SAT.tsx b/src/pages/solve/SAT.tsx
index 288da28..7ffac6f 100644
--- a/src/pages/solve/SAT.tsx
+++ b/src/pages/solve/SAT.tsx
@@ -10,7 +10,7 @@ import { TextArea } from "../../components/solvers/SAT/TextArea";
 import { LogicalExpressionValidator } from "../../converter/dimacs/LogicalExpressionValidator";
 
 const SAT: NextPage = () => {
-  const logicalExpressionParser = new LogicalExpressionValidator();
+  const logicalExpressionValidator = new LogicalExpressionValidator();
 
   const [logicalExpressionString, setLogicalExpressionString] = useState("");
   const [errorString, setErrorString] = useState("");
@@ -46,7 +46,7 @@ const SAT: NextPage = () => {
         setProblemString={(value) => {
           setLogicalExpressionString(value);
 
-          let errors = logicalExpressionParser.validateLogicalExpression(
+          let errors = logicalExpressionValidator.validateLogicalExpression(
             value.toString()
           );