* Add some documentation for the implemenetation of consistency rules