TNF receptor-deficient mice reveal striking differences between several models of thymocyte negative selection.