Comment Comment by bshlgrs Yeah, afaik this problem is totally unimportant in practice. parent bshlgrs 4 years ago