diff --git a/README.md b/README.md
index 432e2c6..92a3b90 100644
--- a/README.md
+++ b/README.md
@@ -85,7 +85,7 @@ Deadline: next kakey meeting, 21.06.2024
 * WP:
   * [ ] seqSwap auf main
   * [ ] Integer Semantics/Overflows
-  * [ ] Test[Test::test()].JML normal_behavior operation contract.0
+  * [x] Test[Test::test()].JML normal_behavior operation contract.0
     Test::test() w/o Z3