diff --git a/tools/prob/caesar.md b/tools/prob/caesar.md
index f514811..e970158 100644
--- a/tools/prob/caesar.md
+++ b/tools/prob/caesar.md
@@ -19,4 +19,4 @@ maintenance = ['Actively Maintained']
 +++
 
 <!-- {{<inactive year="2023">}} -->
-Storm is a tool for the analysis of systems involving random or probabilistic phenomena. 
\ No newline at end of file
+Caesar is a deductive verifier for probabilistic programs.
\ No newline at end of file