Peirce's Law

Also see

 * Peirce's Law is Equivalent to Law of Excluded Middle