diff --git a/pyargus/Cargo.toml b/pyargus/Cargo.toml
index 3d4a5a2..f59fbce 100644
--- a/pyargus/Cargo.toml
+++ b/pyargus/Cargo.toml
@@ -13,5 +13,5 @@ argus-semantics = { version = "0.1.0", path = "../argus-semantics" }
 derive_more = "0.99.17"
 log = "0.4.17"
 paste = "1.0.12"
-pyo3 = "0.18.1"
+pyo3 = "0.18.3"
 pyo3-log = "0.8.1"
diff --git a/pyargus/src/expr.rs b/pyargus/src/expr.rs
index 3a3c15b..6c1d42c 100644
--- a/pyargus/src/expr.rs
+++ b/pyargus/src/expr.rs
@@ -358,7 +358,13 @@ impl Always {
     #[new]
     fn new(arg: PyBoolExpr) -> (Self, PyBoolExpr) {
         let arg = arg.0;
-        (Self, PyBoolExpr(Box::new(BoolExpr::Always { arg })))
+        (
+            Self,
+            PyBoolExpr(Box::new(BoolExpr::Always {
+                arg,
+                interval: (..).into(),
+            })),
+        )
     }
 }
 
@@ -370,7 +376,13 @@ impl Eventually {
     #[new]
     fn new(arg: PyBoolExpr) -> (Self, PyBoolExpr) {
         let arg = arg.0;
-        (Self, PyBoolExpr(Box::new(BoolExpr::Eventually { arg })))
+        (
+            Self,
+            PyBoolExpr(Box::new(BoolExpr::Eventually {
+                arg,
+                interval: (..).into(),
+            })),
+        )
     }
 }
 
@@ -383,7 +395,14 @@ impl Until {
     fn new(lhs: PyBoolExpr, rhs: PyBoolExpr) -> (Self, PyBoolExpr) {
         let lhs = lhs.0;
         let rhs = rhs.0;
-        (Self, PyBoolExpr(Box::new(BoolExpr::Until { lhs, rhs })))
+        (
+            Self,
+            PyBoolExpr(Box::new(BoolExpr::Until {
+                lhs,
+                rhs,
+                interval: (..).into(),
+            })),
+        )
     }
 }