Logic² This is not a glitch – think about it! If you came to your conclusion about logic arbitrarily, then next time you may arbitrarily choose that logic exists and continue with the proof.