rec/annotate/rules
