Establishes what's up with widening in asSeenFrom.

Added explanatory comment.