regard an exposure as safe if its nested exposures are safe

Addendum to #47.  Thought this might be a good idea.