diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,7 @@
+2025-03-07
+        * Version bump (4.3). (#604)
+        * Update pretty-printing to handle Props. (#254)
+
 2025-01-07
         * Version bump (4.2). (#577)
         * Remove uses of Copilot.Core.Expr.UExpr.uExprExpr. (#565)
diff --git a/copilot-prettyprinter.cabal b/copilot-prettyprinter.cabal
--- a/copilot-prettyprinter.cabal
+++ b/copilot-prettyprinter.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-prettyprinter
-version:             4.2
+version:             4.3
 synopsis:            A prettyprinter of Copilot Specifications.
 description:
   A prettyprinter of Copilot specifications.
@@ -45,7 +45,7 @@
     base   >= 4.9 && < 5,
     pretty >= 1.0 && < 1.2,
 
-    copilot-core >= 4.2 && < 4.3
+    copilot-core >= 4.3 && < 4.4
 
   exposed-modules:
 
diff --git a/src/Copilot/PrettyPrint.hs b/src/Copilot/PrettyPrint.hs
--- a/src/Copilot/PrettyPrint.hs
+++ b/src/Copilot/PrettyPrint.hs
@@ -175,10 +175,15 @@
 ppProperty
   Property
     { propertyName     = name
-    , propertyExpr     = e }
+    , propertyProp     = p }
   =   text "property \"" <> text name <> text "\""
   <+> text "="
-  <+> ppExpr e
+  <+> ppProp p
+
+-- | Pretty-print a Copilot proposition.
+ppProp :: Prop -> Doc
+ppProp (Forall e) = text "forall" <+> parens (ppExpr e)
+ppProp (Exists e) = text "exists" <+> parens (ppExpr e)
 
 -- | Pretty-print a Copilot specification, in the following order:
 --