More on rules and docs.