rules spec