 A similar proposal of a relativized theory-observation distinction was made by Sneed in his seminal The Logical Structure of Mathematical Physics (1979: ch. II). Here is a simplified and more syntactic formulation of Sneed’s criterion of T-theoreticity: