More better rule numbering