What is the extent of the performance impact caused by using predicate expressions? Check( amount == $amount ) or Check( $amt : amount -> (isSameAmount($amt, $amount) ) My understanding is that once asserted the amount property will be "cached" in the shadow fact, is the result of isSameAmount(...) also cached? thanks, -- yuri