diff --git a/README.md b/README.md
index c4820b0..8d9cb6f 100644
--- a/README.md
+++ b/README.md
@@ -45,8 +45,4 @@ The main idea is to use these new languages to solve relevant problems!
 | Rust | Daily drive | Embedded | ❌ | ✅ | ❌ |
 | Swift | Daily drive | General | ✅  | ✅ | ❌ |
 | Haskell | Understand functional programming | Theory | ✅  | ❌ | ✅ |
-| Coq | Understand formal verification | Theory | ❌ | ❌ | ❌ |
-
-
-## End goal
-Achieve a somewhat adequate level of proficiency in these languages. I don't expect to be an expert, but I want to be able to write code in these languages without having to look up every single thing.
+| Coq | Understand formal verification | Theory | ❌ | ❌ | ❌ |
\ No newline at end of file