One_Definition_Rule