Relevant logic systems solve the paradoxes of material implication (like 'if pigs fly, then 2+2=5 is...
This proposition has not been edited since the history system was added.