Interpretability is not symmetric: T interpreting T' does not imply T' interprets T, so it cannot gr...