Viilauksia logiikkaan.