TNF and Right ventricular hypertrophy: Right ventricular hypertrophy was elevated to similar extents in both genotypes (Supplementary Fig. 3a), probably due to the high levels of TNFα expression in this model.