diff --git a/rust-semantics/execution/conditionals.md b/rust-semantics/execution/conditionals.md
index 0423b8d..b523822 100644
--- a/rust-semantics/execution/conditionals.md
+++ b/rust-semantics/execution/conditionals.md
@@ -3,9 +3,13 @@
 module RUST-CONDITIONALS-EVALUATION
     imports RUST-SHARED-SYNTAX
     imports RUST-VALUE-SYNTAX
-    
-    rule (if ptrValue(_, true) S:BlockExpression):ExpressionWithBlock => S
-    rule (if ptrValue(_, false) _:BlockExpression):ExpressionWithBlock => .
+
+    rule S:ExpressionWithBlock ; => S
+
+    rule (if ptrValue(_, true) S:BlockExpression):ExpressionWithBlock => S [owise]
+    rule (if ptrValue(_, false) _:BlockExpression):ExpressionWithBlock => . [owise]
+
+    // rule (if ptrValue(_, false) _:BlockExpression):ExpressionWithBlock ;=> .
 
     rule (if ptrValue(_, true) A:BlockExpression else _:IfElseExpression):ExpressionWithBlock => A
     rule (if ptrValue(_, false) _:BlockExpression else B:IfElseExpression):ExpressionWithBlock => B