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