predicates : n -> apply @logicalAnd (equals (n % 3) 0) (equals (n % 5) 0); fizzbuzz : n -> when predicates n is true then "FizzBuzz" _ then n; ..out fizzbuzz 100;