In modern times, "Hume's law" often denotes the informal thesis that, if a reasoner only has access to non-moral factual premises, the reasoner cannot logically infer the truth of moral statements; or, more broadly, that one cannot infer evaluative statements (including aesthetic statements) from non-evaluative statements. An alternative definition of Hume's law is that "If P implies Q, and Q is moral, then P is moral". This interpretation-driven definition avoids a loophole with the principle of explosion. Other versions state that the is-ought gap can technically be formally bridged without a moral premise, but only in ways that are formally "vacuous" or "irrelevant", and that provide no "guidance". For example, one can infer from "The Sun is yellow" that "Either the Sun is yellow, or it is wrong to murder". But this provides no relevant moral guidance; absent a contradiction, one cannot deductively infer that "it is wrong to murder" solely from non-moral premises alone, adherents argue.