Add documentation for exists rule.