% It is always possible to get a number
% Taken from "Model-Checking Processes with Data"
% J.F. Groote and T.A.C. Willemse
nu X.([true]X && forall b:Bool. mu Y.(([true]Y && <true>true) || exists n:Nat. <c(b,n)>true))
