TODO:	numbering the rules and final test