Add some explanations of definition rules