diff --git a/bfpcompiler/proof.md b/bfpcompiler/proof.md
index 45a43b9..dbc3e96 100644
--- a/bfpcompiler/proof.md
+++ b/bfpcompiler/proof.md
@@ -83,5 +83,3 @@ are implemented memory safe.
 ## Every program, which is accepted by the compiler without error is working on the processor.
 
 ## The compiled binaries are working the same way as the provided code.
-
-## The compiler is detecting any wrong argument or code.
\ No newline at end of file