But let me tease apart the logic that underlies that conclusion because in more complicated situations where we're not familiar with the domain, or with the result, all we'll have to use is the logic itself. 