Logic must look after itself. In a certain sense, we cannot make mistakes in logic.Ludwig Wittgenstein
