fomat improved (: added after each rule)