introduce rule
implement explicit headed section