diff --git a/spec/2025-09.md b/spec/2025-09.md
index ac24023c..c92d3968 100644
--- a/spec/2025-09.md
+++ b/spec/2025-09.md
@@ -752,11 +752,8 @@ Extension                       | Described in
 `.yaml`                         | [Test case configuration](#test-case-configuration) | Additional configuration of the test case
 `.png`, `.jpg`, `.jpeg`, `.svg` | [Illustrations](#illustrations)                     | Illustration of the test case
 
-Judge systems may assume that the result of running a program on a test case is deterministic.
-For any two test cases, if the contents of their `.in` and `.files` directory are equivalent,
-as well as the `args` sequence in the `.yaml` file, then the input of the two test cases is equivalent.
-For any two test cases, if their input, output validator arguments and the contents of their `.ans` files are equivalent, then the test cases are equivalent.
-The assumption of determinism means that a judge system could choose to reuse the result of a previous run, or to re-run the equivalent test case.
+Judge systems may not assume that the result of running a program on a test case is deterministic.
+The assumption of non determinism means that a judge system cannot choose to reuse the result of a previous run.
 
 Test cases and [test data groups](#test-data-groups) will be used in lexicographical order on test case or test data group name.
 It is good practice to use a numbered prefix such as `00`, `01`, `02`, `03`, and so on, to get the desired order of test cases, while keeping the file names descriptive.