Rules can have instance variables