diff --git a/compiler/utils.py b/compiler/utils.py
new file mode 100644
index 0000000..1f562a5
--- /dev/null
+++ b/compiler/utils.py
@@ -0,0 +1,2 @@
+def implies(a: bool, b: bool) -> bool:
+    return (not b and not a) or b