(cautious in that it's memoization all the way down, so using anything mutable in rules is scary)