- Revision 7647: /home/yuri/tags/3_validity_derived_rules