exact reasoning