Appendectomy protects against ulcerative colitis