1 files changed, 7 insertions, 4 deletions

diff --git a/eiffel-fragen/replaceability/derived.e b/eiffel-fragen/replaceability/derived.e
index 9a409bd..b13300f 100644
--- a/eiffel-fragen/replaceability/derived.e
+++ b/eiffel-fragen/replaceability/derived.e
@@ -14,12 +14,15 @@ feature
                 do
                         RESULT := num + 10
                 ensure then
-                        -- my postcondition
-                        derived_result_equals_myresult: RESULT = myresult
+                        derived_result_equals_mypostcondition: mypostcondition(RESULT)
                 end
 
-        myresult: INTEGER
+        -- my postcondition
+        mypostcondition(num: INTEGER): BOOLEAN
                 do
-                        RESULT := 110
+                        Result := false
+                        if num = 110 then
+                                Result := true
+                        end
                 end
 end