It seems like much of the difficulty this paper is dealing with is the fact it is possible for expressions to diverge. Is their any case where this happening would not be an error? If not, then wouldn&#x27;t it make more sense to leave the behaviour undefined, and have the compiler throw warnings when it detects this possibility?