@pickover this is really nice, because it avoids the usual misleading circle of common boundary that one sees in other presentations. such an intersection is not topologically part of the , of course, and i think it often causes misunderstanding of what the  is.