 For such reasons, many have taken the relation of logical consequence to pair an arbitrary (possibly infinite) collection of premises with a single conclusion. This account has the added virtue of having the special case of an empty collection of premises. Arguments to a conclusion from no premises whatsoever are those in which the conclusion is true by logic alone. Such “conclusions” are logical truths (sometimes tautologies) or, on the proof-centered approach, theorems.