Logiikkaan korjauksia.