5) RIP1 Hypothesis 2: RIP1-unmod =! RIP1-deub
5a) RIP1 de-ubiquitination in the 2o complex
5a) TRADD can bind RIP1-unmod as well as RIP1-deub
6) Bid-po4 sequesters RIP1
7) C3 inhibits MLKL
"""
# From irvin_modules
irvin.Initials_Fas_to_DISC()
irvin.TNFR1_to_ComplexII_Initials()
irvin.SecondaryComplex_to_Bid_initials()
irvin.rip1_to_MLKL_initials()
irvin.TNFR1_to_ComplexI() #1
irvin.FADD_to_C8()
irvin.cFlip_competitive_inhibition() #2
irvin.NFkB_cFlip_interaction() #3
irvin.cFLIP_L_Bid_interaction() #4
irvin.RIP1_Hypothesis_2() #5
irvin.ComplexI_to_NFkB()
irvin.ComplexII_Hypothesis_2() #5
irvin.TRADD_RIP1unmod_Hypothesis_2() #5a
irvin.RIP1_deubiqutination_Hypothesis_1() #5a
irvin.RIP1_to_SecondaryComplex()
irvin.RIP1_truncation()
irvin.Bid_Hypothesis() #6
irvin.C8_catalyzed_truncations()
irvin.rip1_to_MLKL()
irvin.C3_inhibits_MLKL() #7
# From lopez_modules
5) RIP1 Hypothesis 1: RIP1-unmod = RIP1-deub
5a) RIP1 deubiquitination in 2o complex
5b) RIP1-unmod can bind TRADD-active
6) Bid-po4 does sequester RIP1
7) C3 inhibits MLKL
"""
# From irvin_modules
irvin.Initials_Fas_to_DISC()
irvin.TNFR1_to_ComplexII_Initials()
irvin.SecondaryComplex_to_Bid_initials()
irvin.rip1_to_MLKL_initials()
irvin.TNFR1_to_ComplexI() #1
irvin.FADD_to_C8()
irvin.cFlip_competitive_inhibition() #2
irvin.NFkB_cFlip_interaction() #3
irvin.cFLIP_L_Bid_interaction() #4
irvin.RIP1_Hypothesis_1()#5
irvin.ComplexI_to_NFkB()
irvin.ComplexII_Hypothesis_1() #5
irvin.RIP1_deubiqutination_Hypothesis_1()#5
irvin.RIP1_to_SecondaryComplex()
irvin.RIP1_truncation()
irvin.Bid_Hypothesis() #6
irvin.C8_catalyzed_truncations()
irvin.rip1_to_MLKL()
irvin.C3_inhibits_MLKL()#7
# From lopez_modules
lopez.declare_initial_conditions()