Title: Optional rules and inclusion relations