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