diff --git a/prism-examples/firewire/abst/liveness.pctl b/prism-examples/firewire/abst/liveness.pctl
index abd4d44d..8c832230 100644
--- a/prism-examples/firewire/abst/liveness.pctl
+++ b/prism-examples/firewire/abst/liveness.pctl
@@ -1,2 +1,2 @@
 // liveness property (eventually a process is made the leader)
-P>=1[ true U (s=9) {"init"} ]
+"init" => P>=1[ true U (s=9) ]