# Modus Ponens¶

The principle of causality itself:

$p \to q, p \vdash q$

Multiple universes might have something like different electron force, different gravity. That’s fairly easy to imagine. What about a universe without logic? Without modus ponens? I find that very difficult to imagine. – Propositions as Types by Philip Wadler