diff --git a/claripy/claripy.py b/claripy/claripy.py
index <HASH>..<HASH> 100644
--- a/claripy/claripy.py
+++ b/claripy/claripy.py
@@ -12,6 +12,9 @@ class Claripy(object):
         self.unique_names = True
         self.parallel = parallel if parallel else False
 
+        self.true = self.BoolVal(True)
+        self.false = self.BoolVal(False)
+
     #
     # Solvers
     #
restored true and false on Claripy object