TNF and colitis: TNF-α production is negatively associated with colitis symptoms in the DSS model.