diff --git a/prism-examples/phil/original/phil.pctl b/prism-examples/phil/original/phil.pctl
index 584244ee..f1370a9c 100644
--- a/prism-examples/phil/original/phil.pctl
+++ b/prism-examples/phil/original/phil.pctl
@@ -1,3 +1,3 @@
 // Liveness (if a philosopher is hungry then eventually some philosopher eats)
 
-"hungry" => P>=1 [ true U "eat"]
+"hungry" => P>=1 [ F "eat"]