documented some rules for Rex