Update rule.rkt