diff --git a/prism-examples/dice/dice.pctl b/prism-examples/dice/dice.pctl
index ed5d699e..d79a42e3 100644
--- a/prism-examples/dice/dice.pctl
+++ b/prism-examples/dice/dice.pctl
@@ -1,13 +1,13 @@
 const int x;
 
 // Is probability of throwing x > 0.1?
-P>0.1 [ true U s=7 & d=x ]
+P>0.1 [ F s=7 & d=x ]
 
 // Probability of throwing 6?
-P=? [ true U s=7 & d=6 ]
+P=? [ F s=7 & d=6 ]
 
 // Probability of throwing x?
-P=? [ true U s=7 & d=x ]
+P=? [ F s=7 & d=x ]
 
 // Expected number of coin flips to complete?
 R=? [ F s=7 ]
diff --git a/prism-examples/dice/two_dice.pctl b/prism-examples/dice/two_dice.pctl
index e24be377..bf1a213e 100644
--- a/prism-examples/dice/two_dice.pctl
+++ b/prism-examples/dice/two_dice.pctl
@@ -1,8 +1,8 @@
 const int x;
 
 // probability of throwing x
-Pmin=? [ true U s1=7 & s2=7 & d1+d2=x ]
-Pmax=? [ true U s1=7 & s2=7 & d1+d2=x ]
+Pmin=? [ F s1=7 & s2=7 & d1+d2=x ]
+Pmax=? [ F s1=7 & s2=7 & d1+d2=x ]
 
 // min/max expected cost to complete
 Rmin=? [ F s1=7 & s2=7 ]
diff --git a/prism-examples/dice/two_dice_knuth.pctl b/prism-examples/dice/two_dice_knuth.pctl
index f951d556..449444ba 100644
--- a/prism-examples/dice/two_dice_knuth.pctl
+++ b/prism-examples/dice/two_dice_knuth.pctl
@@ -1,7 +1,7 @@
 const int x;
 
 // probability of throwing x
-P=? [ true U s=34 & d=x ]
+P=? [ F s=34 & d=x ]
 
 // expected coin flips
 R=? [ F s=34 ]