I think Chris might be saying that operations (eg: "flag of") should be valid if their input has the right type, no matter how the value of that type was calculated. But your "flag of" only works if the input was calculated in some specific way. Ciao, Duncan.