Interesting point! This is quite a tricky problem that I've considered before. My current stance is we need to know more of the specifics and causal history of how those kind of rules are implemented in general before we can determine if they count, and there is also the possibility that once we've done that it turns out they "should" but our current formalizations won't... This is an interesting mostly unexplored (i think) subject that seems likely to spawn an fruitful discussion thou.