  One must take the equality here with a small grain of salt. In those situations where Schema R can be said to hold, it is likely not the case that every equation or formula from \(T_f\) will yield a corresponding equation of \(T_c\) .