... scanner can therefore be used successfully to determine for any ... an assumption that must be true for the conclusion to follow from the ... this to be necessary for the conclusion to follow, due to conclusion ... ”). However, (B) seems to be false, for at least two ...