this is succinctly captured by the truth table for logical implication. let p be the existence of evidence and q be the state. if p is false, the expression is

this is succinctly captured by the truth table for logical implication. let p be the existence of evidence and q be the state. if p is false, the expression is true regardless of the value of q.