  It is one thing for \(p\) to be true. It is another for the conditional \(q \rightarrow p\) to be true. Yet, if ‘\(\rightarrow\)’ is a material conditional, \(q \rightarrow p\) follows from \(p\). For many different reasons, we may wish to understand how a conditional might work in the absence of this inference. This is tied to the behaviour of premise combination, as can be shown by this demonstration. 