Outline: modules, rules and strategies