 Within TB construct an analog, T*R, of TR under certain conditions CR such that TB and CR entail T*R and argue that the analog relation, AR, between T*R and TR warrants claiming (some kind of) reduction relation, R, between TR and TB. Thus (TB &amp; CR → T*R) and (T*R AR TR) warrants (TB R TR). (Hooker 1981: 49)