En logisk deduktion , enärhan